logo

gemini-tickets

Unnamed repository; edit this file 'description' to name the repository. git clone https://hacktivis.me/git/gemini-tickets.git

2020-12-07T15:58:04 Make search case-insensitive.gmi (160B)

    

  1. Status: confirmed

  2. Assigned-to: lanodan

  3. Milestone: 1.1.0

  4. 

  5. Currently case is sensitive in web page search, unsure if it's a WebKitGTK bug or not, IIRC it is one.